# typed: true

case foo; in A(x:) then true; end
